snippet Coq Gitignore Template
        ### Coq ###
        *.vo
        *.glob
        *.v.d
        ${0}
